Program sketching with live bidirectional evaluation
نویسندگان
چکیده
منابع مشابه
Live Fire Test and Evaluation Program
LFT&E 277 joInt technIcal coordInatIng grouP For munItIons eFFectIveness (jtcg/me) DOT&E executed oversight of survivability and lethality test and evaluation for 118 acquisition programs in FY11. Of those 118 programs, 19 programs operated under the waiver provision of U.S. Code, Title 10, Section 2366, by executing an approved alternate LFT&E strategy in lieu of full-up system-level testing. ...
متن کاملThe Sketching Approach to Program Synthesis
Sketching is a new form of localized software synthesis that aims to bridge the gap between a programmer’s high-level insights about a problem and the computer’s ability to manage low-level details. In sketching, the programmer uses partial programs to describe the desired implementation strategy, and leaves the low-level details of the implementation to an automated synthesis procedure. This p...
متن کاملProgram Sketching via CTL* Model Checking
Sketching is an approach to automated software synthesis where the programmer develops a partial implementation called a sketch and a separate specification of the desired functionality. A synthesizer tool then automatically completes the sketch to a complete program that satisfies the specification. Previously, sketching has been applied to finite programs with a desired functional input/outpu...
متن کاملEvaluation of Paper-Pen based Sketching Interface
The retrieval and browsing of diagrammatic information extracted from hand-drawn diagrams would open up a rich form of information interaction. However, such sketches currently require handannotations in order to be understood by the computer. While improvements in sketch recognition algorithms have enabled automatic recognition for Tablet PCsketched diagrams, such progress has been constrained...
متن کاملEmpirical Research Plan: Effects of Sketching on Program Comprehension
Sketching is an important means of communication in software engineering practice. Yet, there is little research investigating the use of sketches. We want to contribute a better understanding of sketching, in particular its use during program comprehension. We propose a controlled experiment to investigate the effectiveness and efficiency of program comprehension with the support of sketches a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3408991